Overall Objectives
Scientific Foundations
Software
New Results
- Fundamental results and algorithms: distributed planning
- Fundamental results and algorithms: communication with messages and scenarios
- Fundamental results and algorithms: timed models
- Fundamental results and algorithms: dynamic epistemic logic
- Fundamental results and algorithms: statistical model checking
- Fundamental results and algorithms: quantitative model checking and quantitative specification theories
- Specific studies: Web services orchestrations
- Specific studies: active documents and web services
- Specific studies: network maintenance
- Specific studies: network and service diagnosis
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Overall Objectives
Scientific Foundations
Software
New Results
- Fundamental results and algorithms: distributed planning
- Fundamental results and algorithms: communication with messages and scenarios
- Fundamental results and algorithms: timed models
- Fundamental results and algorithms: dynamic epistemic logic
- Fundamental results and algorithms: statistical model checking
- Fundamental results and algorithms: quantitative model checking and quantitative specification theories
- Specific studies: Web services orchestrations
- Specific studies: active documents and web services
- Specific studies: network maintenance
- Specific studies: network and service diagnosis
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home